Numerische Validierung der Vollständigkeit des realen Lösungssatzes eines Polynomgleichungssystems