You need do nothing else at this point in time.  You have done all that you need: you have obtained a judgement for eviction from the courts. Court records are public records and one the judgement is final the credit reporting agencies will receive a notice of eviction to include in the tenant's credit history. Good luck.