Pseudo-completeness and the product of Baire spaces