I’ve been doing a bit of searching around and I’ve seen conflicting information about how to get a CCJ marked as satisfied.

I have one from 2012 which I paid off in full last week. Do I have to get the £15 certificate of satisfaction in order for it to be marked ‘satisfied’ on my credit report or should that happen automatically?