\begin{definition}[Definition:Complete Metric Space/Definition 2]
A metric space $M = \struct {A, d}$ is '''complete''' {{iff}} the intersection of every nested sequence of closed balls whose radii tend to zero is non-empty.
\end{definition}