If i remember things right, the spell is not to kill the death knights on the mine.

If you don't redeem Leandra, there will be Death Knights in the final boss battle.
The spell is for those. However, if you do redeem Leandra, there won't be any death knights.