Yes. Any finitely generatedIn response to Jim's challenge, I think I've found the easiest approach a bit belatedly: any module in category O$\mathcal{O}$ is a quotient of a finitefinitely generated projectiveover $U(\mathfrak{n}_-)$, and thus a quotient of a module with a finiteany Verma module filtrationis free of rank 1 over it. Thus, anyif $M$ is infinite dimensional module tensored with, and $N$ a Verma module has weight multiplicities that grow too fast (faster than a constant times, the Kostant partition function)tensor product $M\otimes N$ is free of infinite rank over $U(\mathfrak{n}_-)$, so it can't beand thus not in category O$\mathcal{O}$.