Completeness of Nonempty Finite Products with $\ell^p$ Product Metrics