Well-Definedness and Completeness of $H^s(\mathbb{R}^n)$