If the bank forecloses, sells the house and recovers MORE than the balance of the mortgage, what's left goes to the IRS to settle the tax lien, either fully or partially.

If the sale produces an amount that is LESS than the balance of the mortgage, the tax lien is not settled and you will continue to owe the taxes.