Cantor intersection theorem

A metric space is complete if and only if every decreasing sequence of nonempty closed sets whose diameters tend to zero has nonempty intersection. In that case the intersection contains exactly one point.