foreclosure and irs tax lein

my house was forclosed on with an irs tax lein would that lein be satisfied we have not heard for the irs since I live in the state of florida how can I find out

You can research on the IRS site:
https://www.irs.gov/uac/Home-Foreclosure-and-Debt-Cancellation