(of a metric space:) having the property that every Cauchy sequence converges.