Tim's argument is correct, and here's a different way to see this. To say that $\Sigma^{\infty} BS$ is a finite $p$-group has trivial rationalization and is $p$-local is the same as to observe that it is $p$-torsion, i.e. has $p$-torsion homotopy groups. It is indeed true that for any such $T$ and an arbitrary spectrum $U$, $F(T, U)$ is p-complete.
To see this, observe that the subcategory of $p$-torsion spectra is generated (under colimits and desuspensions) by $M(p) = S^{0}/p$ (this is the same as saying that any such non-zero spectrum admits a non-zero map from $S^{0}/p$, which is clear). Since $F(-, U)$ takes colimits to limits, and $p$-complete spectra are closed under limits, we just need to know $F(S^{0}/p, U)$ is $p$-complete, but this is the same as $\Sigma^{-1} U \otimes S^{0}/p$, so we're done.