Let $X$ be a topological space. $X$ is said to be completely metrizable if there is a metric $d$ on $X$ under which $X$ is complete.

In particular, a completely metrizable space is metrizable.