The Extension Theorem

Theorem:  Let S be a set of tiles of a finite number of types, and suppose that each tile is a closed topological disk.  If the tiles of S can tile an arbitrarily large region of the plane, then the tiles of S can tile the whole plane.

The theorem is not true if the tiles are unbounded, or not closed.  At right the tiles are unbounded to the left.