When trees die in the garden or have to be taken down for other reasons, you should always remove the resulting stump. Otherwise this can cause other problems.