The _canonical completion_ of Haglund and Wise ("Special Cube Complexes", GAFA, 2008, see Section 6) is a great strengthening of Stallings Theorem (I wrote a quantified version of this in a paper, available on the arXiv, with Mark Hagen and Priyam Patel called "Residual finiteness growth of virtually special groups").