Let $K$ be an ordered field, and $v$ a valuation on $K$ with convex valuation ring. If $(K,v)$ is henselian, the value group is divisible, and the residue field is real-closed, then $K$ itself is a real-closed field.

There is also an analogous statement for algebraically closed fields of characteristic $0$.