Well, in some sense the Classification of Finite Simple Groups is in this state. It most certainly satisfies your second requirement: lots of papers have been published which rely on CFSG. However, a complete proof is (at least in some sense) still work in progress by Lyons, Solomon, Ashbacher, Smith and others.