Page "Complete metric space" Paragraph 8

Every compact metric space is complete, though complete spaces need not be compact.

In fact, a metric space is compact if and only if it is complete and totally bounded.

This is a generalization of the Heine – Borel theorem, which states that any closed and bounded subspace S of R < sup > n </ sup > is compact and therefore complete.