Ele foi indiciado, julgado e condenado, então sim, é ladrão.
Está solto pq após muito procurar

os amigos do STF conseguiram encontrar um erro administrativo no processo e "descondenou", veja bem, ele não foi inocentado pq ele não é inocente, é culpado mas foi solto pq a condenação foi em outra jurisdição.
Dando uma explicação bem simplista se vc mora em SP e é pego roubando no RJ, é julgado e condenado no RJ vc ainda é ladrão mas pode ser descondenado pq deveria ter sido julgado em SP.