Cauchy spaces with regular completions