David Gregory "Dave" Smith (born 24 July 1955) is a retired male race walker from Australia, who represented his native country at two consecutive Summer Olympics, starting in 1980 (Moscow). His best Olympic result was finishing in tenth place in the men's 20 km race at the 1984 Summer Olympics.
David Gregory "Dave" Smith retired after the 1984 Summer Olympics.
Although he retired after the 1984 olympics at some point, the sentence could also mean he retired right after the 84 olympics making it neither correct nor incorrect.