If the upper part of the dead tree has already been removed and the roots are already uplifted it would probably be simpler to extract the tree manually with a winch instead of grinding it into a dry tinder mess. If the tree is still moist and strong it would likely be better to grind the stump down into mulch for removal. Every tree stump and situation is different so it’s important to make the call of whether to pull it out or grind it based on those specifications.