An ordered field ${}K$ is called complete or completely ordered, if every Cauchy sequence in ${}K$ converges.