for me, I pull up the roots and scrape off the nitrifying nodules off the roots onto the soil, but if you're not planning on growing anything else in the same spot, it's probably much better to leave the roots to rot down naturally.
Now I think about it, that's probably what i'll start doing too :)