Numerically validating the completeness of the real solution set of a system of polynomial equations