I don't see that completeness should be needed for this. According to Halmos, the definition of is (of course, he has to show that those two integrals are equal). So the result for follows straight from that definition. See §36 of Halmos's book, pp.145–148. His results for product measures assume throughout that the measures on the component spaces are σ-finite, but not that they are complete.