We prove that the profinite completion of the fundamental group of a compact 3-manifold M satisfies a Tits alternative: if a closed subgroup H does not contain a free pro-p subgroup for any p, then H is virtually soluble, ...