It appears that one Thomas Jefferson Woodall was a Cherokee man, the son of George Woodall, a white man and Ellen Moore (Cherokee). He died unmarried without children. A second Thomas Woodall, a white man, married Nannie. I couldn't find a middle name for Thomas, his grandchildren just listed him as "Tom Woodall" on their Eastern Cherokee applications. It's entirely possible that both men were named after Thomas Jefferson, but I cannot find a document that shows a middle name or initial for the husband of Nannie Tadpole. The 1851 Cherokee census only listed Cherokee people, so if Nannie and Thomas were living together it wouldn't show on the roll.