I do believe they will need to file the satisfaction in official records. The county can take a week or longer to index it. You need to contact the bank or if you are not on title the owner needs to contact the bank to make sure they filed it, and if they could also send you a copy.
The attorney for the Plaintiff claims that the Mortgage was "merged" into the Judgment and that No Satisfaction of Mortgage is coming to me.