What Kind of Morphisms Induces Covering Maps over a Real Closed Field?

In this article, we show that a flat morphism of $k$-varieties ($\mathop{\mathrm{char}} k=0$) with locally constant geometric fibers becomes finite \'etale after reduction. When $k$ is a real closed field, we prove that such a morphism induces a covering map on the rational points.